unsigned char implementation_limits_wasm[] = {
  0x00, 0x61, 0x73, 0x6d, 0x01, 0x00, 0x00, 0x00, 0x01, 0x08, 0x02, 0x60,
  0x00, 0x00, 0x60, 0x01, 0x7f, 0x00, 0x02, 0x11, 0x01, 0x03, 0x65, 0x6e,
  0x76, 0x09, 0x68, 0x6f, 0x73, 0x74, 0x2e, 0x63, 0x61, 0x6c, 0x6c, 0x00,
  0x00, 0x03, 0x05, 0x04, 0x01, 0x01, 0x01, 0x01, 0x04, 0x05, 0x01, 0x70,
  0x01, 0x02, 0x02, 0x07, 0x39, 0x04, 0x04, 0x63, 0x61, 0x6c, 0x6c, 0x00,
  0x01, 0x0d, 0x63, 0x61, 0x6c, 0x6c, 0x2e, 0x69, 0x6e, 0x64, 0x69, 0x72,
  0x65, 0x63, 0x74, 0x00, 0x02, 0x09, 0x63, 0x61, 0x6c, 0x6c, 0x2e, 0x68,
  0x6f, 0x73, 0x74, 0x00, 0x03, 0x12, 0x63, 0x61, 0x6c, 0x6c, 0x2e, 0x69,
  0x6e, 0x64, 0x69, 0x72, 0x65, 0x63, 0x74, 0x2e, 0x68, 0x6f, 0x73, 0x74,
  0x00, 0x04, 0x09, 0x08, 0x01, 0x00, 0x41, 0x00, 0x0b, 0x02, 0x02, 0x00,
  0x0a, 0x49, 0x04, 0x0e, 0x00, 0x20, 0x00, 0x04, 0x40, 0x20, 0x00, 0x41,
  0x7f, 0x6a, 0x10, 0x01, 0x0b, 0x0b, 0x11, 0x00, 0x20, 0x00, 0x04, 0x40,
  0x20, 0x00, 0x41, 0x7f, 0x6a, 0x41, 0x00, 0x11, 0x01, 0x00, 0x0b, 0x0b,
  0x11, 0x00, 0x20, 0x00, 0x04, 0x40, 0x20, 0x00, 0x41, 0x7f, 0x6a, 0x10,
  0x03, 0x05, 0x10, 0x00, 0x0b, 0x0b, 0x14, 0x00, 0x20, 0x00, 0x04, 0x40,
  0x20, 0x00, 0x41, 0x7f, 0x6a, 0x10, 0x04, 0x05, 0x41, 0x01, 0x11, 0x00,
  0x00, 0x0b, 0x0b
};
unsigned int implementation_limits_wasm_len = 195;
